Pii: S0950-7051(99)00004-0
نویسندگان
چکیده
This article considers the utilization of architectural styles in the formal design of knowledge-based systems. The formal model of a style is an approach to systems modeling that allows software developers to understand and prove properties about the system design in terms of its components, connectors, configurations, and constraints. This allows commonality of design to be easily understood and captured, leading to a better understanding of the role that an architectural abstraction would have in another complex system, embedded context, or system integration. In this article, a formal rule-based architectural style is presented in detail using the Z notation. The benefits of depicting the rulebased system as an architectural style include reusability, understandability, and the allowance for formal software analysis and integration techniques. The ability to define the rule-based architectural style in this way, illustrates the power, clarity, and flexibility of this specification form over traditional formal specification approaches. In addition, it extends current verification approaches for knowledge-based systems beyond the knowledge base only. q 1999 Elsevier Science B.V. All rights reserved.
منابع مشابه
Applications of Rule-Base Coverage Measures to Expert System Evaluation
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : ii Acknowledgements : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : iv List of Tables : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : xi List of Figures : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : xii
متن کاملCG-SQL: a front-end language for conceptual graph knowledge bases
Conceptual Graph (CG) knowledge bases can be queried only by mean of goals. We show that some conventional operators (projection, selection, union, cartesian product) can not be expressed unless a set of rules is added to the knowledge base prior to the inference, which is highly inconvenient. Therefore, we propose an algebra and a declarative SQL-like language for the CG model, which permits t...
متن کامل